According to paulgrewal.eth, the Fifth Circuit has ruled that immutable smart contracts are not considered 'property' under the International Emergency Economic Powers Act (IEEPA), leading to the conclusion that Tornado Cash must be delisted. However, the court did not order the Office of Foreign Assets Control (OFAC) to 'set aside' the listing as per Section 706 of the Administrative Procedure Act (APA).